Hyperventilation in traumatic brain injury