Making insulation decisions through mathematical modeling