Spinal Circuits for Sensorimotor Integration During Locomotion at Different Speeds: A Computational Model