A startup is developing a new IoT application that needs to process messages from millions of devices in real-time. The processing should scale automatically based on the incoming message volume. Which AWS service should they use?