A media production company requires a solution to process and convert high-definition video files stored in Amazon S3 into various formats. Which AWS service should they use?