Introduction to mine surveying