War exposure and post-traumatic stress as predictors of Portuguese colonial war veterans' physical health