total number of judges in international court of justice