Semidefinite Programming in Quantum Information Science