测量垂直度常用的工具和设备有哪些