coal mining indonesia legislation from government