Stability of discrete-time switching systems with constrained switching sequences