mining-techniques-and-economics