Lognormal Kalman filter for assimilating phase space density data in the radiation belts