How Benetech Slays Monsters With Megabytes and Math