Colonization of the asteroids