history of mamma mia the musical