How many estimated ants are there in the world