Gartner: Teradata is still the top data-warehouse vendor