HPE sells Vertica analytics, thanks to the growth of open source software TechTarget