How many users does DNS serve per day? Is there any statistics of this sort? Any references, any numbers?