Microglial deletion and inhibition alleviate behavior of post-traumatic stress disorder in mice | Synapse