使用什么工具测量管道垂直度