A New Algorithm for Ionosphere STEC Modeling through Combining Empirical Ionosphere Model with GNSS Observation Data