Explicit construction of recurrent neural networks effectively approximating discrete dynamical systems