lin manuel miranda phillipa soo original broadway cast of hamilton renee elise goldsberry