Analysis of segment uplift during shield tunnel construction considering stratum seepage effects | Synapse