«ГОРНАЯ ИНДУСТРИЯ 4.0.» Конкурс эффективных цифровых проектов горнодобывающих предприятий