论数字化技术在矿山测量中的应用