Summer of Science: How the asteroid belt formed