interruptor de proximidad industrial