application of mine surveying in mining engineering