Plasmasphere Data Assimilation Using Ground-Based Data and the Ensemble Kalman Filter