Mathematical Model of Carbon Dioxide Injection into a Porous Reservoir Saturated with Methane and Its Gas Hydrate