Text this: Smart HVAC Control in IoT: Energy Consumption Minimization with User Comfort Constraints