Quantitative risk analysis of gas explosions in tunnels