Programmable thermostat for efficient home heating and cooling.