Residential Consumption of Gas and Electricity in the US : What are the Effects of Prices and Energy-Efficiency Investments ?