Mining: shares of industry revenue