TimeTuner: Diagnosing Time Representations for Time-Series Forecasting with Counterfactual Explanations