Oxidation of the titanium(0001) surface: diffusion processes of oxygen from DFT