An introduction to the mathematical structure of quantum mechanics