Text this: GEOINFORMATION TECHNOLOGIES IN THE TRAINING OF FUTURE MINING ENGINEERS