HP buying Vertica for analytics