A Hybrid Dynamical Systems Theory For Legged Locomotion