EuroMillions jackpot worth €17 million won in Mayo