duration of mamma mia musical