Transacting generation attributes across market boundaries: Compatible information systems and the treatment of imports and exports