how was the asteroid belt formed between mars and jupiter