what is hammer mill used in mining industry