mill used for mining industry