Lin-Manuel Miranda ('tick, tick… Boom!' director) on his Netflix film of Jonathan Larson's musical