Controllability and reachability criteria for switched linear systems