used for mining industry portable coal crusher type