how was the asteroid belt made