Numerical simulation of methane distribution in development zones of underground coal mines equipped with auxiliary ventilation