How Indonesia, the world’s top thermal coal exporter, hit a supply crunch