隧道监测拱顶沉降时，所用的仪器是( )。