mamma mia musical running time