صنعت معدن زغال سنگ پی آر تی اندونزیایی