MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library | Synapse