First-principles studies of di-arsenic interstitial and its implications for arsenic-interstitial diffusion in crystalline silicon