Qualitative Theory of Hybrid Dynamical Systems