A Learning-based Mathematical Programming Formulation for the Automatic Configuration of Optimization Solvers