Forecasting on Indonesian coal production and future extraction cost: A tool for formulating policy on coal marketing