Computational Fluid Dynamics Modeling of Coal Gasification in a Pressurized Spout-Fluid Bed