Quantum Information Theory for Mathematicians