Energy efficiency and HVAC systems in existing and historical buildings