kömür madenciliği endüstrisinde damıtma