Department of Informatics, University of Bergen, HIB, N5020 Norway. ketil@ii.uib.no|Department of Informatics, University of Bergen, HIB, N5020 Norway. ketil@ii.uib.no|Department of Informatics, University of Bergen, HIB, N5020 Norway. ketil@ii.uib.no