who wrote the stage musical mamma mia