mamma mia broadway running time