垂直度测量工具种类有哪些