Department of Computer Science, PO Box 26 (Teollisuuskatu 23), FIN-00014 University of Helsinki, Finland. hannu.toivonen@cs.helsinki.fi|Department of Computer Science, PO Box 26 (Teollisuuskatu 23), FIN-00014 University of Helsinki, Finland. hannu.toivonen@cs.helsinki.fi|Department of Computer Science, PO Box 26 (Teollisuuskatu 23), FIN-00014 University of Helsinki, Finland. hannu.toivonen@cs.helsinki.fi|Department of Computer Science, PO Box 26 (Teollisuuskatu 23), FIN-00014 University of Helsinki, Finland. hannu.toivonen@cs.helsinki.fi|Department of Computer Science, PO Box 26 (Teollisuuskatu 23), FIN-00014 University of Helsinki, Finland. hannu.toivonen@cs.helsinki.fi