Informative Path Planning to Explore and Map Unknown Planetary Surfaces with Gaussian Processes