萤石矿主要用途有哪些种类和特点呢