A Computational Approach for Risk Prediction to Protect Historical Buildings in Urban Excavations: Case Study of the Cervantes Theater in Segovia | Synapse