An Introduction to the Mathematical Structure of Quantum Mechanics: A Short Course for Mathematicians (Advanced Series in Mathematical Physics)