Statistics of "Chosen Fighters of the Jewish People": Jewish volunteers in the International Brigades during the Spanish Civil War