Diffusion of tin in germanium: A GGA+U approach