Daftar perusahaan batu bara Indonesia: Perbedaan revisi