Decompressive craniectomy for the treatment of refractory high intracranial pressure in traumatic brain injury