Design and optimization of secant pipe roofing structure applied in subway stations. (May 2023)