A prediction model for the surface residual subsidence in an abandoned goaf for sustainable development of resource-exhausted cities