What are the trade-offs between AWS Redshift/S3, Azure Synapse/Data Lake, and GCP BigQuery for a data platform?