[1] Univ Oslo, Dept Informat, Ctr Math Applicat, N-0316 Oslo, Norway
[2] Univ Bologna, Dipartimento Matemat, I-40127 Bologna, Italy
[3] Univ Cambridge, Cambridge, England
[4] Univ Lugano, Fac Informat, CH-6904 Lugano, Switzerland
[5] Univ Milano Bicocca, Dept Math & Applicat, I-20125 Milan, Italy