Methods of using geoinformation technologies in mining engineers's training. (2018)