矿山开采中的垂直度测量工具