A media company wants to analyze semi-structured logs stored in Amazon S3 using SQL. Which service should they use to perform this analysis efficiently?