roll mining machines are in mining industry