Population statistics for Israeli settlements in the Gaza Strip