Former Walmart executive named Save-A-Lot president, CEO