Bisimulation Theory for Switching Linear Systems