mamma mia the musical based on the songs of abba