A rigorous method to compare interpretability of rule-based algorithms