Ensemble pruning via an integer programming approach with diversity constraints (2021)