Grave area: unearthing headstones from an African gold mine