Treating intracranial hypertension in traumatic brain injury: keep it cool!