Порядка 15 тысяч шахтеров спасены сотрудниками МЧС