Pivotal Software files for IPO