Theoretical modeling of the carbon dioxide injection into the porous medium saturated with methane and water taking into account the CO2 hydrate formation