Deep brain stimulation for patients with dystonia in Machado–Joseph disease: three case reports