Mine ventilation measurements with tracer gas method and evaluations of turbulent diffusion coefficient