Residential Energy Management for a Carbon-Constrained World: A Disaggregated Thermostat Using Ubiquitous Sensing for Energy Efficiency and Demand Response of Residential Heating and Cooling Systems