Text this: Dehydration of ethanol by extractive distillation