The United Kingdom is due to leave the European Union at 2300 GMT on Oct. 31. Below is an explainer of the Brexit basics: