Model-Driven Design of Electrical Stimulation Therapy Improves Gait Dynamics in Individuals With Limb Amputations | Synapse