A new method for mining deformation monitoring with GPS-RTK