Polynomial Extended Kalman Filtering for Discrete-Time Nonlinear Stochastic Systems