A haptic control system for functional electrical stimulation of paraplegic legs