On model reduction of discrete time systems