leslie odom jr lin manuel miranda original broadway cast of hamilton