mesin yang digunakan di tambang batubara