Observability of discrete-time recurrent neural networks coupled with linear systems