On the Reachability of Discrete-Time Switched Linear Systems