Smart Human-Machine Systems for Lower-Limb Assistance and Rehabilitation After Paralysis (Study of Algorithms Classifiers for an Offline BMI Based on Motor Imagery of Pedaling)