A nonrandom spectrum theorem for products of random matrices and linear stochastic systems