Alcohol Use Disorder and Posttraumatic Stress Disorder: An Introduction.