Interpretable Sequence Classification via Discrete Optimization