萤石的性质和用途