SDP plugin for JuMP