coal production for indonesia mining company