EKF-SINDy: Empowering the extended Kalman filter with sparse identification of nonlinear dynamics