Digital background auto-calibration of DAC non-linearity in pipelined ADCs