Analysis of a membrane enclosed catalytic reactor for butane dehydrogenation