Introduction to Stateful Stream Processing with Apache Flink