Post-traumatic stress disorder in UK civilians with traumatic brain injury: an observational study of TBI clinic attendees to estimate PTSD prevalence and its relationship with radiological markers of brain injury severity