测量垂直度常见的工具有哪些