Got me thinking - what would happen to the earth's orbit if we mined all the asteroids?