Axiomatization and Measurement of Quasi-hyperbolic Discounting