Transcranial magnetic stimulation for depression after a traumatic brain injury: a case study.