Pošalji tekstualnu poruku: Adversarial robustness guarantees for classification with Gaussian Processes