Dielectric Function of Native Oxide on Ion-Implanted GaAs