Computer-aided optimisation of catalytic dehydrogenation in packed-bed membrane reactor