Extractive distillation of tetrahydrofuran–ethanol azeotropic mixture with ionic liquid as extractant