Raman-scattering depth profile of the structure of ion-implanted GaAs.