Mathematical Model of Decomposition of Methane Hydrate during the Injection of Liquid Carbon Dioxide into a Reservoir Saturated with Methane and Its Hydrate