mining revenue