Отдел прогноза и борьбы с газодинамическими явлениями в шахтах