Effect of water mist on the dispersion of a flammable gas inside traffic tunnels