Interactive Synthesis of Cascade Refrigeration Systems