Statistics for Design of a Battery State Estimator Using a Dual Extended Kalman Filter