Synthesis and optimization of multilevel refrigeration systems using generalized disjunctive programming Academic Article