Learning Certifiably Optimal Rule Lists for Categorical Data | Synapse