International law and EU law