Dell рассматривает возможность продажи своего облачного бизнеса Boomi за $3 млрд.