mamma mia the musical facts