A 12-bit charge-redistribution SAR ADC for silicon drift detector readout ASICs