Estimating the Impact of Time-of-Use Pricing on Irish Electricity Demand