精确垂直度测量工具有哪些