A HBIM Approach for Structural Diagnosis and Intervention Design in Heritage Structures: The Case of the Certosa Di Pisa | Synapse