Calculation of System Reliability for Mine Ventilation Network Based on Boolean Manipulation and Minimization Algorithm in the Independence Minimal Path Sets