the uses of gps in mining