treaty which led to the creation of Europe's Schengen Area, in which internal border checks have largely been abolished