Synthesis of Cascade Refrigeration and Liquefaction Systems