mineria sejarah pt trubaindo la mineria del carbon