what year was the song mamma mia published?