group of industrial workers in a refinery – oil processing equipment and machinery