equipment used for mine surveying