Increased top-down control of emotions during symptom provocation working memory tasks following a RCT of alpha-down neurofeedback in PTSD