EMC schluckt Pivotal Labs