european court of justice definition