Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;School of Mathematics, Statistics and Operations Research, Victoria University, Wellington, New Zealand;Institute of Informatics, University of Bergen, Bergen, Norway;Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA SZTAKI), Pf. 63, Budapest, Hungary