Text this: Cylindrical Caved Space Stability Analysis for Extension Prediction of Mining-Induced Surface Subsidence