Mining, Geodesy, Geoinformation