lin manuel miranda anthony ramos okieriete onaodowan daveed diggs original broadway cast of hamilton