coal mining as mineral resources