Origin of the asteroid belt