Shoprite Holdings ramps up Africa expansion with Kenya entry