Personal identification of miners by marking their helmets