Post-traumatic stress disorder and risk of dementia among members of a health care delivery system