The UK votes on Thursday whether or not to leave or stay in the European Union. Roberto Azevêdo, director–general of the World Trade Organisation, explains to CNBC what may happen if the UK departs the EU.