how could artificial intelligence be used in the coal mining industry