精确测量垂直度需要哪种专业工具?