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