Certified Supervised Machine Learning