Lessons from 8 years' experience of hypothalamic stimulation in cluster headache.