Rigorous Optimization-based Synthesis of Distillation Cascades without Integer Variables