LightTS: Lightweight Time Series Classification with Adaptive Ensemble Distillation -- Extended Version