The Quiet Math Behind a Smart Used-Car Purchase