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