Activation of NLRP3 Is Required for a Functional and Beneficial Microglia Response after Brain Trauma