Which AWS service enables analysis of petabytes of semistructured and structured data in an Amazon S3 data lake using standard SQL queries for business intelligence and operational analytics?