Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques