Buffered Count-Min Sketch on SSD: Theory and Experiments