How we saved 100 terabytes of memory by optimizing 1.1.1.1’s DNS cache