Modeling of an integrated two-stage biomass gasifier and solid oxide fuel cell system