Automating the Solution of PDEs on the Sphere and Other Manifolds in FEniCS 1.2