A lactate-dependent shift of glycolysis mediates synaptic and cognitive processes in male mice