Validity of Linearized Colmation Models for Methane Migration and Smart Ventilation Design in Underground Mines | Synapse