Ab initio study of Kr in hcp Ti: Diffusion, formation and stability of small Kr–vacancy clusters