uses of anthracite in mining industry