تقطیر در صنعت معدن و زغال سنگ