Optimization Design of Key Mechanical Properties of Cement-Based Thin Spray-On Liners for Monorail Transport Systems in High-Water-Seepage Areas of Coal Mines. — SciRadar