Coal mining in Indonesia: forecasting by the growth curve method