mesin yang digunakan di pertambangan batubara