Channeling, exponential tails, and analytical modeling of Si implants into GaAs