mamma mia broadway box office