萤石矿的用途和作用有哪些