垂直度测量的工具和仪器有哪些