what is the process of mining astatine