1. Department of Computer Science, University College London, London WC1E 6BT, UK
2. Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK, and ICREA-Universitat Politècnica de Catalunya, Departament de LSI, Barcelona, Spain