Институт горного дела имени Жолтовского: история и направления подготовки