Modeling Diffusion in the Gasification Reaction with Carbon Dioxide: Comparison of Diffusion Models