Diffeomorphic image matching with left-invariant metrics