Mathematical Model of Methane Replacement Process in Gas Hydrate with Carbon Dioxide in a Porous Layer