mesin yang digunakan dalam tambang batubara