Pressure dependence of arsenic diffusivity in silicon