Maritz out as CEO of VMware; EMC's Gelsinger in