when did mamma mia open on broadway