Stable Pushing: Mechanics, Controllability, and Planning | Synapse