The role of microglial synaptic pruning in murine models of psychiatric symptoms