1. Weizmann Institute of Science, Rehovot, Israel.
2. Saarland University, Max Planck Institute for Informatics, Saarbrücken, Germany.
3. Weizmann Institute of Science, Rehovot, Israel. Parts of this work were done while the author was at Saarland University and Max Planck Institute for Informatics.