Synopsis Data Structures for Representing, Querying, and Mining Data Streams