Text this: Finite Element Analysis of the Excavation Stability of Deep and Large Ventilation Shafts of Zimuyan Tunnel Using the Raise Boring Machine Method in a Karst Area