垂直度测量工具在煤炭开采中的应用