equipment used to build a headgear for a mine or quarry