The elastic wave velocity response of methane gas hydrate formation in vertical gas migration systems