You are tasked with designing a data pipeline that ingests real-time streaming data from IoT devices and processes it using machine learning models. Which AWS services would you use to build this pipeline, and how would you set it up?