空间信息技术及其在矿山测量中的应用