A Graph Transformation Method for Robotic Satellite Servicing Down-Selection