The acute respiratory distress syndrome following isolated severe traumatic brain injury