המערכה על ירושלים במלחמת העצמאות