Future of Work related patent filings decreased in the mining industry in Q3 2024