1. School of Mathematics, University of Birmingham, Birmingham B15 2TT, United Kingdom
2. Topological Design Centre for Doctoral Training, University of Birmingham, Birmingham B15 2TT, United Kingdom
3. School of Computer Science, University of Birmingham, Birmingham B15 2TT, United Kingdom
4. The Alan Turing Institute, British Library, London NW1 2DB, United Kingdom