coal mining in indonesia techniques of mechanised mining