Energy-efficient HVAC systems