Extracting Interpretable Decision Tree Ensemble from Random Forest