miner revenue dec 2017