Text this: Synthesis and Optimization of Low Temperature Refrigeration Systems using Generalized Disjunctive Programming