Quantum Theory for Mathematicians