Hyperbolic Secant Subsidence Prediction Model under Thick Loose Layer Mining Area