Lund Institute of Technology, Department of Computer Science, Box 118, SE-221 00 Lund, Sweden;Lund Institute of Technology, Department of Computer Science, Box 118, SE-221 00 Lund, Sweden;University of Aalborg, Department of Computer Science, Fredrik Bajers Vej 7E, DK-9220 Aalborg, Denmark