Correlation effects for cation diffusion via vacancy-pairs in fluorite-related oxides