Numerical simulation to evaluate gas diffusion of turbulent flow in mine ventilation system