Digital multiplexer