利用GPS测量获取矿山空间信息