Describir: Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming