测量垂直度的工具和方法有哪些