Quantum Mechanics for Mathematicians