Hypertonic saline versus other intracranial pressure–lowering agents for people with acute traumatic brain injury