Repetitive transcranial magnetic stimulation for treatment of depression in a patient with severe traumatic brain injury