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