Neck-specific strengthening exercise compared with sham ultrasound when added to home-stretching exercise in patients with migraine: study protocol of a two-armed, parallel-groups randomized controlled trial