Tracer gas measurement and simulation of turbulent diffusion in mine ventilation airways