Coal mining GPS subsidence monitoring technology and its application