Kalman filter for soc estimation