6.256 Semidefinite Optimization