Sleep facilitates pattern separation through SK channel-mediated sparse coding | Synapse