Trial of decompressive craniectomy for traumatic intracranial hypertension