Mechanics and Planning of Manipulator Pushing Operations | Synapse