Theoretical study of atomic fluorine diffusion through bulk TiO2 polymorphs