Total Intravenous Anesthesia Including Ketamine versus Volatile Gas Anesthesia for Combat-related Operative Traumatic Brain Injury