Text this: Applications of Ground-Penetrating Radar in Asteroid and Comet Exploration.