A programmable thermostat for energy efficiency and comfort.