coal mining methods used in indonesian