miners names for types of ore