Silas: High Performance, Explainable and Verifiable Machine Learning