what is used and how is fluorite mined