Mining materials from asteroids