how long is the musical mamma mia