建筑垂直度测量工具有哪些