net mining revenue