The excavation-induced convergences in the Sedrun section of the Gotthard Base Tunnel