Count the mining-related elements in the government work report.