revenue from mining