ASTRIDE: Adaptive Symbolization for Time Series Databases