Indonesia swaps coal for infrastructure