Integration of BIM, Sensors, and Remote Monitoring Techniques for Structural Health Monitoring: A Platform for Verona Arena | Synapse