how long is the mamma mia broadway show