production planing of coal in open cast coal mine indonesia