Quantitative thermal desorption spectrometry of ionically implanted inert gases—I. Fundamental aspects