Text this: Prediction of Coal Mining Subsidence Based on Machine Learning Probability Theory