On the spectrum of discrete time-varying linear systems