AT&T schikt datalek in cloudomgeving voor dertien miljoen dollar