Encoding of locomotion kinematics in the mouse cerebellum