Precipitation of As in thermally oxidized ion-implanted Si crystals