Joachim Diederich Rule Extraction from Support Vector Machines Studies in Computational Intelligence 80 Springer 2008 978-3-540-75389-6 db/series/sci/sci80.html