אוכלוסיית ירושלים בתקופות הקדומות (לפי מ. ברושי)