Why is there a big difference between the actual mining revenue and the theoretical revenue value?