Sparse Quadratic Optimisation over the Stiefel Manifold with Application to Permutation Synchronisation