raymond mill used widely in mining industry