Energy-efficient HVAC