Kinetic Monte Carlo simulations of C diffusion on root 3x root 3 beta-SiC(111) based on ab initio calculations