Progress in mathematical programming solvers from 2001 to 2020 | Synapse