Gaussian Processes For Information-Theoretic Robotic Mapping And Exploration