矿山开采中垂直度测量技术