垂直度检测在煤矿开采工程中的应用