A mathematical model for deep ion implantation depth profiling by synchrotron radiation grazing-incidence X-ray fluorescence spectrometry