miningology