Invited Lecture, IBM Research Labs, Haifa, Israel
Specialized version of the talk given at CS Dept., Technion, Israel.