When did the UK formally leave the EU(European Union)?