Thermodynamic equilibrium models for biomass gasification