coal mining progress in indonesia