Logic-based outer approximation for globally optimal synthesis of process networks