Department of Informatics, University of Oslo, Blindern, Norway.|Department of Informatics, University of Oslo, Blindern, Norway.|Department of Informatics, University of Oslo, Blindern, Norway.|Department of Informatics, University of Oslo, Blindern, Norway.