Use of decompressive craniectomy after severe head trauma.