数字化测量技术在矿业开采中的意义