Seasonal peak electricity demand characteristics: Japan case study