Membrane models for membrane reactors