Samsung Heavy Industries elige a Amazon como proveedor cloud