jenis industri apa adalah penambang batu bara