An HBIM Approach for Structural Diagnosis and Intervention Design in Heritage Constructions: The Case of the Certosa di Pisa | Synapse