Supplementary magnesium in traumatic brain injury: where do we go from here?