Predictive smart thermostat controller for heating, ventilation, and air-conditioning systems