Which JuMP.jl solver for this problem?