one last time christopher jackson lin manuel miranda original broadway cast of hamilton lyrics music