Brexit, UK and EU formally adopt Protocol