The hit Broadway musical Hamilton has shattered box office records and won a ton of awards. Its creator, Lin-Manuel Miranda, has a relentless work ethic that has…