Determination of the distribution of ionospheric electron density on the basis of the tomographic processing of satellite radio signals