什么是高精度垂直度测量设备