地球上有多少只蚂蚁,还有它们的总重量有多大?