Quantitative risk analysis of gas explosions in tunnels; probability, effects, and consequences