Quality of life in elderly Portuguese war veterans with post-traumatic stress symptoms