Rocky bodies that orbit in a region in the solar system in a belt between mars and jupiter are called?