the whiting group used mining machinerymachinery used in mining