Dollar General: return of Todd Vasos as CEO