make SDP work inside of JuMP; add a few examples