Ethylene epoxidation in a catalytic packed-bed membrane reactor : experiments and model