used in mining roll crusher milling machine