Equilibrium modeling of gasification: a free energy minimization approach and its application to a circulating fluidized bed coal gasifier