historia de la mineria taladros