mamma mia running time musical