Ionospheric TEC data assimilation based on Gauss–Markov Kalman filter