is the number of ants in the world with more than 10,000 species