Mathematical Quantum Mechanics