Information-TheoreticSafeExplorationwith GaussianProcesses