A feasibility-based algorithm for Computer Aided Molecular and Process Design of solvent-based separation systems