Astrocytic EphA4 signaling is important for the elimination of excitatory synapses in Alzheimer’s disease | Synapse