Quantitative reasoning and mathematical modeling