萤石矿的开采方法有哪些