A new numerical method for calculating residual deformation in mined-out areas considering water–rock interaction and its application | Synapse