萤石矿主要用途和功能有哪些