Mining the Heart of Borneo: coal production in Indonesia