Dehydration of methanol to dimethyl ether by catalytic distillation