Ireland and the United Kingdom are both part of the European Union (EU). A formal free-travel area has existed across the region since when?