Dollar General appoints Jerry Fleeman Jr as next CEO