Oxygen transport by ionic membranes: correlation of permeation data and prediction of char burning in a membrane-assisted biomass gasification