applications of geomatics in mining