A Rigorous Analysis of D/A Conversion with Dynamic Element Matching