mamma mia broadway original cast