Stroke subtype-dependent synapse elimination by reactive gliosis in mice