A Unified Approach to Extract Interpretable Rules from Tree Ensembles via Integer Programming