a mining machine mounted portable stone crusher