Isotropic Gaussian random fields on the sphere: regularity, fast simulation, and stochastic partial differential equations