Evaluation of decompressive craniectomy in mice after severe traumatic brain injury