垂直度测量仪器在矿山工程中的应用