The potential share of coal liquefaction in the Indonesian economy in 2025