How We Built a Streaming SQL Engine