What are the trade-offs between batch processing and real-time streaming using Flink or Spark Streaming for Damco?