How many asteroids are there in a asteroid belt?