Design of a pipelined time-to-digital Converter (TDC) suitable for transducer array channel multiplexing