UK leaves the EU