Describir: Efficient and Faithful Algorithms for Interpretable Machine Learning