penghancur yang digunakan dalam pengolahan batubara