Formation of Long-Term Locomotor Memories Is Associated with Functional Connectivity Changes in the Cerebellar–Thalamic–Cortical Network | Synapse