coal mining in jakarta indonesia