工业萘是（）精制后的产品。