Oxidative dehydrogenation of ethane to ethylene in a membrane reactor: A theoretical study