Modeling and validation of crutch-supported exoskeleton gait using a double-inverted pendulum approach | Synapse