The UK leaves the EU (31 January 2020)