Types And Names Of Mining Tools