A mathematical model of biomass downdraft gasification with an integrated pyrolysis model