Fluorinewhat is the process of mining astatine