lin manuel miranda daveed diggs okieriete onaodowan leslie odom jr and original broadway cast of hamilton