Shrink down, margins up at Dollar General a year after removing nearly all self-checkout