jenis batubara yang digunakan untuk produksi semen