Hollandalı Royal Dutch Shell, 9 bin kişiyi işten çıkarmayı planlıyor