An Integrated HBIM Simulation Approach for Energy Retrofit of Historical Buildings Implemented in a Case Study of a Medieval Fortress in Italy