Withdrawal under article 50 TEU: an integration-friendly process