Colección: GNSS derived TEC data ingestion into IRI 2012