application of artificial intelligence in coal mining industry