Effect of excavation blasting vibration on adjacent buried gas pipeline in a metro tunnel. (November 2018)