Multicontact Locomotion on Transfemoral Prostheses via Hybrid System Models and Optimization-Based Control | Synapse