Company numbers: a key resource in tracing businesses and their records