Mathematical model of gas hydrate formation of sulfur dioxide by injecting liquid sulfur dioxide into a layer saturated with methane and water