Modeling and Mitigating Gas Hazards during Potash Mine Closure | Synapse