[2403.07245] Dataset Condensation for Time Series Classification via Dual Domain Matching