Mining bits; Drill bits for rock drilling; Drills for the mining industry; Rock drills; Bits for mining machines; Core drilling bits