what what is the coal mine in indonesia