A review of external lumbar drainage for the management of intracranial hypertension in traumatic brain injury