Dept. of Applied Math and Computer Science, The Weizmann Institute of Science, Rehovot, Israel 76100;Institute for Computer Science and Applied Mathematics, University of Kiel, Kiel, Germany 24098;Technion, Computer Science Department, Haifa, Israel 32000;University of Geneva, Centre Universitaire d'Informatique, Carouge, Switzerland 1227