Helsinki Institute for Information Technology HIIT, Department of Computer Science, University of Helsinki, P,O, Box 68 (Gustaf Hällstromin katu 2b), Helsinki, 00014, Finland. veli.makinen@cs.helsinki.fi