利用水准仪、 经纬仪测量获取矿山空间信息