peralatan yang digunakan dalam pertambangan batubara dan produsen nya