how much does mining machinery cost