Synaptic remodeling of the cerebellar circuitry in mutant mice and experimental cerebellar malformations