什么是高精度垂直度测量仪器