Department of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Norway. geirksa@ifi.uio.no|Department of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Norway. geirksa@ifi.uio.no|Department of Computer and Information Science, Norwegian University of Science and Technology, Trondheim, Norway. geirksa@ifi.uio.no