Helsinki Institute for Information Technology (HIIT), Department of Computer Science, University of Helsinki, Helsinki, Finland.|Institute of Computer Science, Martin Luther University Halle-Wittenberg, Halle (Saale), Germany.|Institute of Computer Science, Martin Luther University Halle-Wittenberg, Halle (Saale), Germany.