Математическое моделирование надежности и эффективности шахтных вентиляционных систем