The force-driven harmonic oscillator model for energy-efficient locomotion in individuals with transtibial amputation.