Assimilative Modeling of Ionospheric Disturbances with FORMOSAT-3/COSMIC and Ground-Based GPS Measurements