Department of Informatics, University of Bergen, Pb. 7803, N-5020 Bergen, Norway.|Department of Informatics, University of Bergen, Pb. 7803, N-5020 Bergen, Norway.|Department of Informatics, University of Bergen, Pb. 7803, N-5020 Bergen, Norway.