Exact finite-dimensional filters via systems realization for a class of discrete-time nonlinear systems☆