A Computational Tool for Time-Series Prediction of Mining-Induced Subsidence Based on Time-Effect Function and Geodetic Monitoring Data