Apache Flink: Stream and Batch Processing in a Single Engine