Top companies by number of job postings for metaverse-related roles in the mining industry, 2020-2022