哪些工具适合进行垂直度测量