Oxygen diffusion and thermal donor formation in silicon