Energy efficient HVAC control in historical buildings: a case study for the Amsterdam Museum. (October 2017)