What does the headgear of a mine do