Core formation in asteroids