Buffered Count-Min Sketch on {SSD:} Theory and Experiments