HIIT Basic Research Unit, Department of Computer Science, University of Helsinki, Finland. haiminen@cs.helsinki.fi|HIIT Basic Research Unit, Department of Computer Science, University of Helsinki, Finland. haiminen@cs.helsinki.fi|HIIT Basic Research Unit, Department of Computer Science, University of Helsinki, Finland. haiminen@cs.helsinki.fi