If humanity decided to save Mars' moon Phobos and get it into a stable orbit to prevent it from crashing into Mars, what would it take to do so?