types of headgears for mines and quarry