Modeling Vertical Structure of Ionosphere for SBAS