thayne jasperson lin manuel miranda oraz original broadway cast of hamilton