how much does machinery for mining cost