Certified robustness of modern machine learning methods