Streaming Sketching: Mathematical Theory and Practical Algorithms