Empirical Models of Electron Density in the Maximum of the High-Latitude Ionosphere F2 Layer Based on Satellites Measurements for Different Levels of Solar Activity