The mathematics of quantum mechanics