indonesian minerals and coal mining