White-box Induction From SVM Models: Explainable AI with Logic Programming