Market Integration, Efficiency, and Interconnectors: The Irish Single Electricity Market