Statistics for Jerusalem municipality and political conflict: 1918-1942