A Theoretical and Empirical Taxonomy of Imbalance in Binary Classification