Ventilating patients with TBI