Amazon’s hiring more humans, but robots are handling the holiday crush