Department of Informatics, University of Oslo, Oslo, Norway. geirksa@ifi.uio.no|Department of Informatics, University of Oslo, Oslo, Norway. geirksa@ifi.uio.no|Department of Informatics, University of Oslo, Oslo, Norway. geirksa@ifi.uio.no