how deepest mining has been made into earth till today