Post‐Traumatic Stress Disorder and Migraine: Epidemiology, Sex Differences, and Potential Mechanisms