Quadruped capturability and push recovery via a switched-systems characterization of dynamic balance