HP Buys Vertica