The rising contribution of coal in Indonesia's energy mix