ADVANCES IN MATHEMATICAL PROGRAMMING FOR THE SYNTHESIS OF PROCESS SYSTEMS