全站仪在井下测量中的应用