metode penambangan batubara yang digunakan