Mining theodolite