Depositing user's licence comment: Copyright 2026 Ben Hindley and co-authors. This dataset is made available under the Creative Commons Attribution 4.0 International (CC BY 4.0) licence. Users are free to share and adapt the material for any purpose, provided appropriate attribution is given to the original authors.