Comparison of thermodynamic models for vapor-liquid equilibrium and analysis of ideal work for pressure-swing separation of the ethanol-water binary system: a practice of inquiry-based learning in chemical engineering thermodynamics