Quantum mechanics for mathematicians