Text this: Ionospheric Assimilation of GNSS TEC into IRI Model Using a Local Ensemble Kalman Filter