Realization Theory of Discrete-Time Dynamical Systems