leslie odom jr lin manuel miranda und original broadway cast of hamilton