When Did Britain Officially Leave The Eu