Migraine patients have a higher prevalence of PTSD symptoms in comparison to chronic tension-type headache and healthy subjects: a case–control study