Programmable thermostat for energy efficiency and comfort