煤矿开采中垂直度测量设备的应用