Amazon's cloud-based data warehouse Redshift becomes generally available