On input-output linearization of discrete-time nonlinear systems