migräne operationen