Dell prodá své cloudové aktivity Boomi. Vyinkasuje čtyři miliardy dolarů