Multi-criteria optimization in chemical process design and decision support by navigation on Pareto sets.