Optimization on long term supply allocation of Indonesian coal to domestic market