Multi-Scale Geometric-Semantic Modeling of Shield Tunnels for GIS and BIM Applications