School of Informatics, The University of Edinburgh, Edinburgh, United Kingdom.|Faculty of Mathematics and Computer Science, University of Münster, Münster, Germany.|Department of Computer Science, University of Sheffield, Sheffield, United Kingdom.|School of Informatics, The University of Edinburgh, Edinburgh, United Kingdom.