Amazon’s top grocery executive exits