names of coal mines in indonesia