Modeling of an FAU-type zeolite membrane reactor for the catalytic dehydrogenation of cyclohexane