Modeling and simulation of butanol separation from aqueous solutions using pervaporation