EMC names new CTO to oversee cloud, big data strategy