Gartner releases 2013 data warehouse Magic Quadrant