Intelligent HVAC Control for High Energy Efficiency in Buildings