Text this: Simple linear classifiers via discrete optimization : learning certifiably optimal scoring systems for decision-making and risk assessment