Time series aggregation for energy system design