Lithium-Ion Battery State of Charge Estimation via Electrochemical Model based Extended Kalman Filter