A startup is developing a new IoT application that needs to process messages from millions of devices. The processing needs to be done in real-time and should scale automatically. Which AWS service should they use?