I have several IONEX files for multiple GNSS stations, and I would like to calculate the vertical and slant TEC values and store them in a time series data frame. Are there any software packages or reference material available that can help me read those IONEX files please?