Title: Industrial unionism and the mining industry