Risk-based optimization of emergency response systems for accidental gas leakage in utility tunnels