Process Synthesis without Integer Variables: Using Complementarity Constraints for Thermodynamic & Distillation Models