A short list of possible contenders if Marissa Mayer is replaced as Yahoo CEO