萤石矿主要用途有哪些种类