Formation of the Asteroid Belt