Has the UK left the EU yet?