HVAC Energy Saving Strategies for Public Buildings Based on Heat Pumps and Demand Controlled Ventilation