Is there any overview of current solvers compatible with `JuMP`?