mass of the asteroid belt