Modeling and Optimal Control of Human Walking for Motion Understanding and Usage in Lower-Limb Exoskeletons