How Does Vagus Nerve Stimulation Reduce PTSD Symptoms?