The UK has left the European Union.