A financial analytics firm needs to process real-time market data and requires a managed service that can handle stream processing at scale. Which AWS service should they use?