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