Mathematical model of injection of liquid carbon dioxide in a reservoir saturated with methane and its hydrate