Programmable thermostat for energy efficiency