Lineage of formicoids