Semidefinite Optimization for Quantum Information