Lifting-based Global Optimisation over Riemannian Manifolds: Theory and Applications in Cryo-EM