Effects of therapeutic mild hypothermia on patients with severe traumatic brain injury after craniotomy.