The Mechanical Behavior and Segmentation Optimization of Prefabricated Lining for Railway Tunnels: A Case Study of the Yongfengcun Tunnel in China | Synapse