¿Qué rey de Numidia fue derrotado por Cayo Mario?