Combining mouse molecular genetics and computer vision tools to probe spinal cord circuits of locomotion