Text this: Electron radiation belt data assimilation with an ensemble Kalman filter relying on the Salammbô code