Probably Faster Than You Can Count: Scalable Log Search with Probabilistic Techniques