Mine borers; drilling machines; drilling rigs, floating or non-floating; drilling heads [parts of machines]; compressors [machines]