How many ants live on Earth? (2022)