测量垂直度的工具有什么