mining methods used to obtain fluorite