Numerical and experimental analyses of methane leakage in shield tunnel