Variable-energy positron beam study of arsenic diffusion in poly-silicon