Theoretical calculations and CFD simulations of membrane reactor designs