Excavation Optimization and Stability Analysis for Large Underground Caverns Under High Geostress: A Case Study of the Chinese Laxiwa Project