Mamma Mia, The Musical