垂直度测量技术在煤矿开采中的作用