The man who fixed Walmart’s grocery business was just appointed CEO of Kroger