Optimal synthesis of process systems