An Improved Knothe Time Function Model in the Prediction of Ground Mining Subsidence by Using the Kalman Filter Method. (20th June 2022)