Cureus | Use of Robotics in Gait Rehabilitation Following Stroke: A Review