Data collection version

This is the repository as it was when the first benchmarking data were collected, on 19 June 2020. This version is tagged so as to ensure that one can always return to the appropriate commit, in the interests of research reproducibility. It is not, however, expected to be the state of the repository when I submit the work to a relevant venue.