Facility Energy Management Application of HBIM for Historical Low-Carbon Communities: Design, Modelling and Operation Control of Geothermal Energy Retrofit in a Real Italian Case Study