Использование ГГИС Micromine при подготовке специалистов по направлению “Горное дело” в НИТУ “МИСиС”