Industrial Electricity Demand and the Hopkinson Rate: An Application of the Extreme Value Distribution