digunakan tambang batubara bor jumbo ubara di indonesia