types of coal mine development indonesia