A theoretical study of the distribution of ionization in the high-latitude ionosphere and the plasmasphere: first results on the mid-latitude trough and the light-ion trough