1. The Hebrew University of Jerusalem, Jerusalem 91904, Israel
2. Department of Computer Science, Jerusalem College of Technology, Jerusalem 91160, Israel
3. Institute of Earth Sciences, The Hebrew University of Jerusalem, Jerusalem 91904, Israel
4. The Estrin Family Chair of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot 76100, Israel