Modeling of Methane + Propane Mixed-Gas Hydrate Formation Processes in a Batch-Type Reactor Under Isothermal Condition | Synapse