leslie odom jr anthony ramos daveed diggs okieriete onaodowan lin manuel miranda phillipa soo christopher jackson original broadway cast of hamilton