Differential role of spinal and supraspinal processing of proprioceptive information in mouse locomotion